1. Logic for Programming, Artificial Intelligence, and Reasoning
المؤلف: / Edmund M. Clarke, Andrei Voronkov
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Logic for programming, artificial intelligence, and reasoning :
المؤلف: Edmund M. Clarke, Andrei Voronkov (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Informatique.,Logic programming -- Congresses.,Logic programming.
3. May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR
المؤلف: / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
